Merge branch 'overlay-scrolling-setting' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 31 May 2019 15:32:49 +0000 (15:32 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 31 May 2019 15:32:49 +0000 (15:32 +0000)
Overlay scrolling setting

See merge request GNOME/gtk!873


Trivial merge